Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove the explicit setting of a pygments theme #17571

Merged
merged 1 commit into from
Jul 24, 2024
Merged

Remove the explicit setting of a pygments theme #17571

merged 1 commit into from
Jul 24, 2024

Conversation

pradyunsg
Copy link
Member

This allows the underlying theme being used to provide the pygments theme instead which looks better (subjectively).

@pradyunsg
Remove the explicit setting of a pygments theme
8867a20 
This allows the underlying theme being used to provide the pygments
theme instead which looks better (subjectively).
@hauntsaninja hauntsaninja merged commit 18965d6 into python:master Jul 24, 2024
2 checks passed
@hauntsaninja
Copy link
Collaborator

Thanks!

@pradyunsg pradyunsg deleted the patch-1 branch July 24, 2024 08:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hauntsaninja hauntsaninja hauntsaninja approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pradyunsg @hauntsaninja